Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·46m
⚖️Verification Calculi
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·6h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Many hard LeetCode problems are easy constraint problems
dev.to·1d·
Discuss: DEV
🧮Constraint Solvers
A Kevin week
blog.mitrichev.ch·7h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·7h·
Discuss: r/programming, r/rust
🧮Z3 Solver
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·2d
💎Information Crystallography
[D] Math foundations to understand Convergence proofs?
reddit.com·3d·
Discuss: r/MachineLearning
🔬Lean
Planarizing matchings
11011110.github.io·10h
🎨Graph Coloring
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·51m·
Discuss: Hacker News
🧮Kolmogorov Complexity
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·6d
👑Coq Tactics
Klartag improves the sphere-packing constant
quomodocumque.wordpress.com·10h
⚽Sphere Packing
The future of microoptimization
goldenstack.net·2d·
Discuss: Hacker News
🧮Compute Optimization
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·2d·
Discuss: Substack
🧮SMT Solvers
Physics-informed sensor coverage through structure preserving machine learning
arxiv.org·46m
🧠Machine Learning
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
💧Liquid Types
Defeating Nondeterminism in LLM Inference
simonwillison.net·3d
🤖Lisp Machines
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·46m
💻Programming languages
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·1d·
Discuss: Hacker News
🔐Quantum Cryptography
LLM Rerankers for RAG: A Practical Guide
fin.ai·7h·
Discuss: Hacker News
🔍Information Retrieval
Many hard LeetCode problems are easy constraint problems
dev.to·2d·
Discuss: DEV
🧮Constraint Solvers